$\forall$$P$:($\mathbb{Z}\rightarrow\mathbb{P}$). ($\forall$$x$:$\mathbb{Z}$. $P$($\mid$$x$$\mid$)) $\Leftarrow\!\Rightarrow$ ($\forall$$x$:$\mathbb{N}$. $P$($x$))